De Rham-Witt Cohomology and Displays
نویسندگان
چکیده
Displays were introduced to classify formal p-divisible groups over an arbitrary ring R where p is nilpotent. We define a more general notion of display and obtain an exact tensor category. In many examples the crystalline cohomology of a smooth and proper scheme X over R carries a natural display structure. It is constructed from the relative de Rham-Witt complex. For this we refine the comparison between crystalline cohomology and de Rham-Witt cohomology of [LZ]. In the case where R is reduced the display structure is related to the strong divisibility condition of Fontaine [Fo]. 2000 Mathematics Subject Classification: 14F30, 14F40
منابع مشابه
A comparison of logarithmic overconvergent de Rham-Witt and log-crystalline cohomology for projective smooth varieties with normal crossing divisor
In this note we derive for a smooth projective variety X with normal crossing divisor Z an integral comparison between the log-crystalline cohomology of the associated log-scheme and the logarithmic overconvergent de Rham-Witt cohomology defined by Matsuue. This extends our previous result that in the absence of a divisor Z the crystalline cohomology and overconvergent de Rham-Witt cohomology a...
متن کاملOverconvergent De Rham-witt Cohomology
The goal of this work is to construct, for a smooth variety X over a perfect field k of finite characteristic, an overconvergent de Rham-Witt complex W ΩX/k as a suitable subcomplex of the de RhamWitt complex of Deligne-Illusie. This complex, which is functorial in X, is a complex of étale sheaves and a differential graded algebra over the ring W (OX) of overconvergent Witt-vectors. If X is aff...
متن کاملRigid Cohomology and De Rham-witt Complexes
Let k be a perfect field of characteristic p > 0, Wn = Wn(k). For separated k-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with coefficients. This result generalizes the classical comparison theorem of Bloch-Illusie for proper and smooth schemes. In the proof, the key step is an extension of the...
متن کاملIntegral Monsky-washnitzer Cohomology and the Overconvergent De Rham-witt Complex
In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we pro...
متن کاملA vanishing theorem for Fano varieties in positive characteristic
for i < d, where WΩdX is the sheaf of De Rham-Witt (DRW) differential forms of degree d constructed by Bloch and Illusie. This is because H(WOX)⊗K is the part of crystalline cohomology with Frobenius slopes in the interval [0, 1[, while Hi(W,WΩdX) is the part with slope d ([9] cor. II.3.5). The author gave an erroneous proof of this corollary (in fact, an integral version) in an earlier preprin...
متن کامل